≡
7/7 < First << 67